An Implementation-oriented Semantics for Module Composition 1.1 Introduction

نویسندگان

  • Joseph A. Goguen
  • Will Tracz
چکیده

This paper describes an approach to module composition by executing \module expressions" to build systems out of component modules; the paper also gives a novel semantics intended to aid implementers. The semantics is based on set the-oretic notions of tuple set, partial signature, and institution, thus avoiding more diicult mathematics theory. Language features include information hiding, both vertical and horizontal composition, and views for binding modules to interfaces. Vertical composition refers to the hierarchical structuring of a system into layers, while horizontal composition refers to the structure of a given layer. Modules may involve information hiding, and views may involve behavioral satisfaction of a theory by a module. Several \Laws of Software Composition" are given, which show how the various module composition operations relate. Taken together, this gives foundations for an algebraic approach to software engineering. The approach to module composition described in this paper can be used in many diierent ways. For example, it can be added to a programming language, by providing a simple module connection language (MCL) with \module expressions" that say how to manipulate and connect modules in the programming language. The general approach, called \parameterized programming" Gog89], involves a module speciication capability; however, programmers can specify as little of a module as they like, as long as they declare the syntax. The approach has been validated with experiments using lileanna (for Library Interconnect Language Extended with Anna, where Anna itself is an acronym for Annotated Ada) Tra93a] on real exam-1

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Declarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey

One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...

متن کامل

An Implementation - Oriented Semanticsfor Module Composition

This paper describes an approach to module composition by executing \module expressions" to build systems out of component modules. This approach extends the structural description capabilities of existing Architecture Description Languages (ADLs) to facilitate the manipulation of architectural components in a manner that results in either new components or complete instantiations of parameteri...

متن کامل

An OSGi-Based Semantic Service-Oriented Device Architecture

The implementation of service-oriented device architectures (SODA) suffers from restrictions that are imposed by the use of existing syntactic technologies. Related problems include data and message-level heterogeneities among interoperating services, insufficient search and discovery of exposed services and inadequate web process composition. In this paper we propose an approach for introducin...

متن کامل

Composition of Object-Oriented Software Design Models

...................................................................................... ix Preface ........................................................................................... x Statement of Contribution............................................................... x Acknowledgements....................................................................... xi Chapter 1: Introduction...

متن کامل

Design, implementation and evaluation of a declarative object-oriented programming language

This thesis is a detailed study of FOOPS, a "wide spectrum" object-oriented program­ ming language. FOOPS supports all ofthe classical features of the object paradigm, includ­ ing classes, overloading. polymorphism, and multiple class inheritance with overriding and dynamic binding. However, it goes beyond other object-oriented. languages in its facilities for the specification. composition and...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1997